perm filename BUG[AM,DBL] blob
sn#158880 filedate 1975-05-16 generic text, type T, neo UTF8
EDITF(ANYB-EXS)
edit
*F INIT
*0 0 PP
(EQ ETYPE (QUOTE INIT))
*OK
ANYB-EXS
←REDO
edit
*↑ P
(LAMBDA (P ETYPE) (SELECTQ P & & & & & &))
*PP
[LAMBDA (P ETYPE)
(SELECTQ P
[C-CHECK1 (PROGN (MAPC (CDR GEXISTING)
(FUNCTION (LAMBDA (GEX)
(COND
[(AND (SATISFIES GEX (QUOTE C-DEFNS))
(SATISFIES GEX (QUOTE C-INTUS]
((GTRANSFER GEX (QUOTE -NOT-BDY]
(C-FILLIN1 (APPEND (INSTAN-S (APPLY* CS-B (QUOTE SPECS))
FILL-TYPE)
(INSTAN-D (APPLY* CS-B (QUOTE DEFNS))
FILL-TYPE)
(INSTAN-I (APPLY* CS-B (QUOTE INTUS))
FILL-TYPE)))
[C-FILLIN2 (APPEND (AND (SETQ A (COPY (SOME-MEMBER (QUOTE C-ALGS)
GEXISTING)))
NIL)
(PROG1 NIL (SORT (CDDR GEXISTING)
(QUOTE COUNT))
[AND ORIG-EMP GEXISTING
(MAPC (APPLY* CS-B (QUOTE OPS))
(FUNCTION (LAMBDA (B1)
(COND
((APPLY* B1 (QUOTE EXS)
**))
((NCONC1 (CADR (SFIND (
**EXPR-IN B1)
(
**QUOTE EXS)))
(NCONC1 (COMME
**NT EXS
OF
**ELES OF A SUBDOMAIN OF YOURS GUARANTEED
ON)
CS-B]
(ADD-CANDS (LIST (LIST (IQUOTIENT (ITIME
**S CS-INT 9)
10)
(QUOTE CHECK)
(LIST CS-B (QUOTE
** EXS]
[C-SUGGESTS (APPEND [MAPCONC PAST (FUNCTION (LAMBDA (PE)
(COND
((EQ (CADADR PE)
(QUOTE EXS))
(LIST (LIST (COND
((NUMBERP (CADD
**R PE)))
(400))
(QUOTE RE-JUDGE)
(CADR PE]
(MAPCONC CONCEPTS (FUNCTION (LAMBDA (C5)
(AND [NULL (CAR (ERSETQ (APPLY* C
**5 (QUOTE EXS]
(LIST (LIST [FIX (DOTPROD (L
**IST .7 .1 .1 .1)
(A
**PPLY* C5 (QUOTE WORTH]
(QUOTE FILLIN)
(LIST C5 (QUOTE
**EXS]
[REPR (ANY-OF (AND (EQ ETYPE (QUOTE INIT))
(LIST (QUOTE CLASS]
(AND (SETQ GTEMP (GETHASH P PREC))
(CDR (SFIND (EXPR-IN (QUOTE ANYB-EXS)
T)
GTEMP]
*OK
ANYB-EXS
←ANYB-EXS(REPR INIT)
(CLASS)
←
(ANYB-EXS 'REPR 'CLASS)
ππ Running at 277340 Load av. = 4.77, Used 0:00:17.9 in 0:09:42
NIL
←
(ANYB-EXS 'REPR 'INIT)
(CLASS)
←
RAISE)
T
←
ANYB-EXS(REPR INIT)
(CLASS)
←
TIME(START)
←(TIME (START))
ENTERING MAIN LOOP NOW.
VERBOSITY LEVEL (0-10) ....
10
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 1023
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 682
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
THE CANDIDATE IS (760 FILLIN (SET-STRUCTURE EXS))
THE GPGM TO C-FILLIN
SET-STRUCTURE,EXS" IS:"
(ANYB-ANYP ANYB-EXS STRUCTURE-EXS)
THE CANDIDATE IS (760 FILLIN (SET-STRUCTURE EXS))
REPEATER CANDIDATE SKIPPED
DO-THRESH REDUCED TO 480
THE CANDIDATE IS (700 PRINT (ANYB-EXS FILLIN1))
((APPEND (INSTAN-S (APPLY* CS-B (QUOTE SPECS)) FILL-TYPE) (INSTAN-D (APPLY* CS-
**B (QUOTE DEFNS)) FILL-TYPE) (INSTAN-I
(APPLY* CS-B (QUOTE INTUS)) FILL-TYPE)))
THE CANDIDATE IS (684 CHECK (SET-STRUCTURE EXS))
THE GPGM TO C-CHECK
SET-STRUCTURE,EXS" IS:"
(ANYB-ANYP ANYB-EXS STRUCTURE-EXS)
*** SATISFIES ISNT IN YET: (CLASS), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS NIL), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS NIL), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS AVRA), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS AVRA), C-INTUS
*** SATISFIES ISNT IN YET: (CLASS R-7-3 R-7-4 R-6-3 R-6-4 R-5-3 R-5-4 R-4-3 R-
**4-4 R-3-3 R-3-4 R-2-3 R-2-4 R-1-3 R-1-4
R0-3 R0-4 R1-3 R1-4 R2-3 R2-4 R3-3 R3-4 R4-3 R4-4 R5-3 R5-4), C-DEFNS
*** SATISFIES ISNT IN YET: (CLASS R-7-3 R-7-4 R-6-3 R-6-4 R-5-3 R-5-4 R-4-3 R-
**4-4 R-3-3 R-3-4 R-2-3 R-2-4 R-1-3 R-1-4
R0-3 R0-4 R1-3 R1-4 R2-3 R2-4 R3-3 R3-4 R4-3 R4-4 R5-3 R5-4), C-INTUS
THE CANDIDATE IS (685 C-RESTRUC (SET-STRUCTURE EXS))
***WARNING: CS ACT,B,P AREN'T MEANINGFUL (YET): C-RESTRUC, SET-STRUCTURE, EXS
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 440
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
THE CANDIDATE IS (655 PRIN1 (ANYB-EXS C-SUGGESTS))
((0 FILLIN (CONVERT EXS)) (0 FILLIN (ACTIVE EXS)) (0 FILLIN (ANYB EXS)) (0 FILL
**IN (ANYB-ANYP EXS)) (0 FILLIN (ANYB-EXS
EXS)) (0 FILLIN (DELETION EXS)) (0 FILLIN (INSERTION EXS)) (0 FILLIN (NON-MEMBE
**R EXS)) (0 FILLIN (OPERATION EXS))
(0 FILLIN (RELATION EXS)) (0 FILLIN (SET-DELETE EXS)) (0 FILLIN (SET-INSERT EXS
**)) (0 FILLIN (SOME-MEMBER EXS)) (0
FILLIN (STRUCTURE EXS)) (0 FILLIN (STRUCTURE-EXS EXS))) THE CANDIDATE IS (655 P
**RIN1 (ANYB-EXS SUGGESTS))
((APPEND (MAPCONC PAST (FUNCTION (LAMBDA (PE) (COND ((EQ (CADADR PE) (QUOTE EXS
**)) (LIST (LIST (COND ((NUMBERP (CADDR
PE))) (400)) (QUOTE RE-JUDGE) (CADR PE)))))))) (MAPCONC CONCEPTS (FUNCTION (LAM
**BDA (C5) (AND (NULL (CAR (ERSETQ (APPLY*
C5 (QUOTE EXS))))) (LIST (LIST (FIX (DOTPROD (LIST .7 .1 .1 .1) (APPLY* C5 (QUO
**TE WORTH)))) (QUOTE FILLIN) (LIST C5
(QUOTE EXS)))))))))) THE CANDIDATE IS (640 PRINT (ANYB-ANYP FILLIN2))
NIL
THE CANDIDATE IS (640 PRINT (ANYB-ANYP FILLIN2))
REPEATER CANDIDATE SKIPPED
DO-THRESH REDUCED TO 413
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 275
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
THE CANDIDATE IS (400 RE-JUDGE (SET-STRUCTURE EXS))
SUPPOSED TO RE-JUDGE (SET-STRUCTURE EXS)
THE CANDIDATE IS (400 RE-JUDGE (SET-STRUCTURE EXS))
REPEATER CANDIDATE SKIPPED
DO-THRESH REDUCED TO 224
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 149
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 99
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 66
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 44
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
GC: 8
10685, 10685 FREE WORDS
DO-THRESH REDUCED TO 29
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 19
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
THE CANDIDATE IS (22 AND (ANYB-EXS C-SUGGESTS))
***WARNING: CS ACT,B,P AREN'T MEANINGFUL (YET): AND, ANYB-EXS, C-SUGGESTS
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 13
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 8
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 5
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 3
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 2
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 1
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
MUST FIND NEW CANDS.
DO-THRESH REDUCED TO 0
THERE WERE NO INTERESTING ACTIVITIES FOUND ON A SWEEP.
THE CANDIDATE IS (0 FILLIN (STRUCTURE-EXS EXS))
****WARNING: UNABLE TO FIND ANY RELE INFO TO C-FILLIN THE EXS PART OF STRUCTURE
**-EXS
THE CANDIDATE IS (0 FILLIN (STRUCTURE-EXS EXS))
REPEATER CANDIDATE SKIPPED
DO-THRESH REDUCED TO 0
***** AM FATAL COLLAPSE ***** DO-THRESH IS IDENTICALLY ZERO
(HELP broken)
:RETFROM(START)
3659 conses
15.062 seconds
NIL
←
CANDS
((0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FILLIN (STRUCTURE
**-EXS EXS)) (0 FILLIN (SOME-MEMBER EXS))
(0 FILLIN (STRUCTURE EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (STRUCTURE-EXS EXS))
** (0 FILLIN (SET-INSERT EXS)) (0 FILLIN
(SOME-MEMBER EXS)) (0 FILLIN (SET-DELETE EXS)) (0 FILLIN (STRUCTURE EXS)) (0 FI
**LLIN (ANYB-ANYP EXS)) (0 FILLIN (ANYB
EXS)) (0 FILLIN (RELATION EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (OPERA
**TION EXS)) (0 FILLIN (SET-INSERT EXS))
(0 FILLIN (ACTIVE EXS)) (0 FILLIN (SOME-MEMBER EXS)) (0 FILLIN (ANYB-EXS EXS))
**(0 FILLIN (SET-DELETE EXS)) (0 FILLIN
(NON-MEMBER EXS)) (0 FILLIN (STRUCTURE-EXS EXS)) (0 FILLIN (INSERTION EXS)) (0
**FILLIN (ANYB-ANYP EXS)) (0 FILLIN (
CONVERT EXS)) (0 FILLIN (ANYB EXS)) (0 FILLIN (DELETION EXS)) (0 FILLIN (RELATI
**ON EXS)) (0 FILLIN (STRUCTURE-EXS EXS))
(0 FILLIN (OPERATION EXS)) (0 FILLIN (SET-INSERT EXS)) (0 FILLIN (ACTIVE EXS))
**(0 FILLIN (SET-DELETE EXS)) (0 FILLIN
(ANYB-EXS EXS)) (0 FILLIN (ANYB-ANYP EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLI
**N (RELATION EXS)) (0 FILLIN (INSERTION
EXS)) (0 FILLIN (OPERATION EXS)) (0 FILLIN (CONVERT EXS)) (0 FILLIN (ACTIVE EXS
**)) (0 FILLIN (DELETION EXS)) (0 FILLIN
(ANYB-EXS EXS)) (0 FILLIN (NON-MEMBER EXS)) (0 FILLIN (INSERTION EXS)) (0 FILLI
**N (CONVERT EXS)) (0 FILLIN (DELETION
EXS)))
←PAST
ππ Running at 254632 Load av. = 4.64, Used 0:00:39.4 in 0:14:41
←(LAST PAST##
EDITV(PAST)
edit
*P
((& CLASS) (& & & & & & & & & & & & & & & &) (& SET-STRUCTURE EXS) (&) (& &) (&
** & & & & & & & & & & & & & & &) (&) (&
. EXS) (& &) (& CLASS & & & &))
*-1 P
((760 FILLIN &) CLASS (CLASS) (CLASS NIL) (CLASS AVRA) (CLASS R-7-3 R-7-4 R-6-3
** R-6-4 R-5-3 R-5-4 R-4-3 R-4-4 R-3-3
R-3-4 R-2-3 R-2-4 R-1-3 R-1-4 R0-3 R0-4 R1-3 R1-4 R2-3 R2-4 R3-3 R3-4 R4-3 R4-4
** R5-3 R5-4))
*OK
PAST
←START)
ππ Running at 367512 Load av. = 5.81, Used 0:00:40.8 in 0:16:32
ENTERING MAIN LOOP NOW.
VERBOSITY LEVEL (0-10) ....
←EDITV(INIT-CANDS)
edit
*P
((700 PRINT &) (655 PRIN1 &) (655 PRIN1 &) (640 PRINT &) (640 PRINT &) (22 AND
**&) (0 PRIN1 &))
*BI 1 5
*(1 (600 PRINT (SET-STRUCTURE EXS)))
*P
((600 PRINT &) (22 AND &) (0 PRIN1 &))
*E C-ALGS
u.b.a.
C-ALGS
E ?
*E EXS
EXS
*OK
INIT-CANDS
←EDITF(PRUNABLE)
loading from TOP2.;12
prop
edit
*- 1P
- ?
-1 P
ππ Running at 261727 Load av. = 5.95, Used 0:00:44.7 in 0:22:57
ππ Running at 261727 Load av. = 7.36, Used 0:00:44.8 in 0:23:25
(ILESSP (CAR C) INTHRESH)
*SW 2 3
*(1 IGREATERP)
*P
(IGREATERP INTHRESH (CAR C))
*OK
unsaved
PRUNABLE
←COMPILE1(PRUNABLE)
(PRUNABLE NOT COMPILABLE)
(PRUNABLE NOT COMPILABLE)
←
(COMPILE1 'PRUNABLE (GETD 'PRUNABLE]
(PRUNABLE compiling)
(PRUNABLE (C) NIL)
(ENTERF 1 0 0)
1 (PIUNBX (GREF INTHRESH 0))
(LPUSHN)
(LDV C 0)
(CAR1)
(FCLL IUNBOX)
(MOV21)
(LPOPN)
(CAMG 1 , 2)
(LQNS)
(LQ T)
2 (RET)
PRUNABLE
(JSP 7 , ENTERF)
(262144 0)
(0 PLITORG)
1 (PIUNBX (GREF INTHRESH 0))
(PUSH NP , 1)
(HRRZ 1 , (VREF C 0))
(HRRZ 1 , 0 (1))
(PUSHJ CP , IUNBOX)
(MOVE 2 , 1)
(POP NP , 1)
(CAMG 1 , 2)
(SKIPA 1 , KNIL)
(HRRZ 1 , ' T)
2 (POPJ CP ,)
LITORG
PLITORG C
INTHRESH
PRUNABLE
←